Random strings and tt-degrees of Turing complete C.E. sets

We investigate the truth-table degrees of (co-)c.e.\ sets, in particular, sets of random strings. It is known that the set of random strings with respect to any universal prefix-free machine is Turing complete, but that truth-table completeness depends on the choice of universal machine. We show that for such sets of random strings, any finite set of their truth-table degrees do not meet to the degree~0, even within the c.e. truth-table degrees, but when taking the meet over all such truth-table degrees, the infinite meet is indeed~0. The latter result proves a conjecture of Allender, Friedman and Gasarch. We also show that there are two Turing complete c.e. sets whose truth-table degrees form a minimal pair.Comment: 25 page

Computable Categoricity of Trees of Finite Height

We characterize the structure of computably categorical trees of finite height, and prove that our criterion is both necessary and sufficient. Intuitively, the characterization is easiest to express in terms of isomorphisms of (possibly infinite) trees, but in fact it is equivalent to a Σ03-condition. We show that all trees which are not computably categorical have computable dimension ω. Finally, we prove that for every n ≥ 1 in ω, there exists a computable tree of finite height which is ∆0n+1-categorical but not ∆0n-categorical

The Complements of Lower Cones of Degrees and the Degree Spectra of Structures

We study Turing degrees a for which there is a countable structure whose degree spectrum is the collection {x : x ≰ a}. In particular, for degrees a from the interval [0′, 0″], such a structure exists if a′ = 0″, and there are no such structures if a″ \u3e 0‴

The complexity of computable categoricity

We show that the index set complexity of the computably categorical structures is View the MathML source-complete, demonstrating that computable categoricity has no simple syntactic characterization. As a consequence of our proof, we exhibit, for every computable ordinal α , a computable structure that is computably categorical but not relatively View the MathML source-categorical

Trivial, Strongly Minimal Theories Are Model Complete After Naming Constants

We prove that if M is any model of a trivial, strongly minimal theory, then the elementary diagram Th(MM) is a model complete LM-theory. We conclude that all countable models of a trivial, strongly minimal theory with at least one computable model are 0 -decidable, and that the spectrum of computable models of any trivial, strongly minimal theory is Σ05